المؤلفون: Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

المساهمون: Kompetenzzentrum für nicht-textuelle Materialien

مصطلحات موضوعية: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/55063

الاتاحة: https://av.tib.eu/media/55063

المؤلفون: Joshua Hoeflich, Robert Bruce Findler, Manuel Serrano

المساهمون: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA2), pp.479-504. ⟨10.1145/3563305⟩

مصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::450b57a7f5b0b963fd6b9d49d610e398
https://inria.hal.science/hal-03920363

المؤلفون: Alexis King, Robert Bruce Findler, Lukas Lazarek, Christos Dimoulas, Samanvitha Sundar

المصدر: Proceedings of the ACM on Programming Languages. 4:1-29

مصطلحات موضوعية: ComputingMilieux_THECOMPUTINGPROFESSION, Computer science, media_common.quotation_subject, 020207 software engineering, 02 engineering and technology, Pragmatics, Computer security, computer.software_genre, Blame, Runtime system, Order (business), 020204 information systems, Component (UML), Racket, 0202 electrical engineering, electronic engineering, information engineering, Meaning (existential), Safety, Risk, Reliability and Quality, computer, Software, Reputation, media_common, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8020e75bad6ef6af48aa0f8f0ccd6c11
https://doi.org/10.1145/3371133

المؤلفون: Robert Bruce Findler, Christos Dimoulas, Shu Hung You

المصدر: Programming Languages and Systems ISBN: 9783030720186
ESOP

مصطلحات موضوعية: geography, geography.geographical_feature_category, Programming language, Computer science, Order (business), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Concolic testing, 020207 software engineering, 02 engineering and technology, computer.software_genre, computer, Sound (geography)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::15909d13420a3537a52bd6e7dcd5906a
https://doi.org/10.1007/978-3-030-72019-3_23

المؤلفون: Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/racket/pubs/oopsla13-dff.pdf.

مصطلحات موضوعية: behavioral soft

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.9746; http://www.ccs.neu.edu/racket/pubs/oopsla13-dff.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.9746
http://www.ccs.neu.edu/racket/pubs/oopsla13-dff.pdf

المؤلفون: Matthew Flatt, Robert Bruce Findler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://docs.racket-lang.org/slideshow/slideshow.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.3444; http://docs.racket-lang.org/slideshow/slideshow.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.3444
http://docs.racket-lang.org/slideshow/slideshow.pdf

المؤلفون: Shu-Hung You, Robert Bruce Findler, Jesse A. Tov, Spencer P. Florence

المصدر: Proceedings of the ACM on Programming Languages. 3:1-29

مصطلحات موضوعية: Computer science, Semantics (computer science), Boolean circuit, 020208 electrical & electronic engineering, 020207 software engineering, 02 engineering and technology, Basis (universal algebra), computer.software_genre, Mathematical proof, Operational semantics, Esterel, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, Calculus, Compiler, Safety, Risk, Reliability and Quality, computer, Implementation, Software, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1f6f86e1f0c966e575f9b3c9a1b482b2
https://doi.org/10.1145/3290374

المؤلفون: T. Stephen Strickland, Sam Tobin-hochstadt, Robert Bruce Findler, Matthew Flatt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.northwestern.edu/~robby/pubs/papers/oopsla2012-stff.pdf.

مصطلحات موضوعية: interposition, intercession, contracts

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.3112; http://www.eecs.northwestern.edu/~robby/pubs/papers/oopsla2012-stff.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.3112
http://www.eecs.northwestern.edu/~robby/pubs/papers/oopsla2012-stff.pdf

المؤلفون: John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. Mccarthy, Jon Rafkind, Sam Tobin-hochstadt, Robert Bruce Findler

المساهمون: The Pennsylvania State University CiteSeerX Archives

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.269.2031

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.269.2031

المؤلفون: Burke Fetscher, Daniel Feltey, Robert Bruce Findler, Max S. New, Jay McCarthy

المصدر: Science of Computer Programming. 164:49-65

مصطلحات موضوعية: Structure (mathematical logic), Insertion sort, Fibonacci number, Computer science, Programming language, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Tree (data structure), Tree traversal, 010201 computation theory & mathematics, Monad (non-standard analysis), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Merge sort, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3cf3990cd3e820f1a3a4174a5514b549
https://doi.org/10.1016/j.scico.2017.05.001

المؤلفون: Burke Fetscher, Vincent St-Amour, Paul R. Yarnold, Spencer P. Florence, Robert Bruce Findler, Dennis P. West, Steven M. Belknap, Charlotte M. Niznik, William H. Temps, Matthew Flatt, Tina Kiguradze

المصدر: ACM Transactions on Programming Languages and Systems. 40:1-37

مصطلحات موضوعية: Medical algorithm, business.industry, Computer science, Programming language, media_common.quotation_subject, 020207 software engineering, Usability, 02 engineering and technology, computer.software_genre, Constructed language, 03 medical and health sciences, 0302 clinical medicine, Debugging, SAFER, Health care, 0202 electrical engineering, electronic engineering, information engineering, 030212 general & internal medicine, Medical prescription, business, computer, Software, Natural language, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f19a3d3f9521544bbe8be00f76eda6f7
https://doi.org/10.1145/3210256

المؤلفون: Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://homepages.inf.ed.ac.uk/wadler/papers/blameforall-stop/blameforall-stop.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.3995; http://homepages.inf.ed.ac.uk/wadler/papers/blameforall-stop/blameforall-stop.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.3995
http://homepages.inf.ed.ac.uk/wadler/papers/blameforall-stop/blameforall-stop.pdf

المؤلفون: Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter Dinda

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.northwestern.edu/~robby/pubs/papers/dls2010-tsffd.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.3.3 [Programming Lan- guages, Language Constructs and Features, D.3.4 [Programming Languages, Processors — Run-time environments General Terms Parallelism, Languages, Design

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.3085; http://www.eecs.northwestern.edu/~robby/pubs/papers/dls2010-tsffd.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.3085
http://www.eecs.northwestern.edu/~robby/pubs/papers/dls2010-tsffd.pdf

المؤلفون: Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/chrdimo/pubs/popl11-dfff.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.3.1 [Formal Definitions and Theory, Semantics, D.3.3 [Language Constructs and Features, Constraints General Terms Languages, Design, Reliability Keywords Higher-order Programming, Behavioral Contracts, Blame Assignment ∗ Dimoulas and Felleisen were partly supported by AFOSR (FA9550-09-1

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.7365; http://www.ccs.neu.edu/home/chrdimo/pubs/popl11-dfff.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.7365
http://www.ccs.neu.edu/home/chrdimo/pubs/popl11-dfff.pdf

المؤلفون: Matthew Flatt, Robert Bruce Findler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.northwestern.edu/~robby/pubs/papers/oopsla2010-kff.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.5 [Testing and Debugging, Testing tools, D.2.4 [Software/Program Verification, Assertion checkers General Terms Verification, Reliability Keywords Software Testing, Random Testing, Automated Test Generation, Racket

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.9893; http://www.eecs.northwestern.edu/~robby/pubs/papers/oopsla2010-kff.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.9893
http://www.eecs.northwestern.edu/~robby/pubs/papers/oopsla2010-kff.pdf

المؤلفون: Philip Wadler, Robert Bruce Findler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://homepages.inf.ed.ac.uk/wadler/papers/blame/blame.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.2399; http://homepages.inf.ed.ac.uk/wadler/papers/blame/blame.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.2399
http://homepages.inf.ed.ac.uk/wadler/papers/blame/blame.pdf

المؤلفون: Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.indiana.edu/%7Eamal/papers/blameall.pdf.

مصطلحات موضوعية: Languages, Theory casts, coercions, blame tracking, lambda-calculus

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3930; http://www.cs.indiana.edu/%7Eamal/papers/blameall.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3930
http://www.cs.indiana.edu/%7Eamal/papers/blameall.pdf

المؤلفون: Matthew Flatt, Eli Barzilay, Robert Bruce Findler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.utah.edu/plt/publications/icfp09-fbf.pdf.

مصطلحات موضوعية: category, Scribble

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.5308; http://www.cs.utah.edu/plt/publications/icfp09-fbf.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.5308
http://www.cs.utah.edu/plt/publications/icfp09-fbf.pdf

المؤلفون: George Kuan, David Macqueen, Robert Bruce Findler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://people.cs.uchicago.edu/~robby/pubs/papers/esop2007-kmf.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.6434; http://people.cs.uchicago.edu/~robby/pubs/papers/esop2007-kmf.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.6434
http://people.cs.uchicago.edu/~robby/pubs/papers/esop2007-kmf.pdf

المؤلفون: Jacob Matthews, Robert Bruce Findler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.uchicago.edu/files/tr_additional/TR-2007-08.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.638; http://www.cs.uchicago.edu/files/tr_additional/TR-2007-08.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.638
http://www.cs.uchicago.edu/files/tr_additional/TR-2007-08.pdf